Optimierungsmethoden fuer Deduktive Datenbanken

Projektleitung und Mitarbeiter

Argenton, H.-W. (Doktorand), Seipel, D. (Dr. rer. nat.)

Forschungsbericht : 1990-1992

Tel./ Fax.:

Projektbeschreibung

Dieses Forschungsprojekt beschaeftigt sich mit der Integration von Logikprogrammierung und Datenbanken. Klausel-Logik bietet eine deklarative Anfragesprache in deduktiven Datenbanken; sie erlaubt Rekursion, ein Konzept, das in herkoemmlichen Querysprachen und der ihnen zugrunde liegenden relationalen Algebra nicht vorkommt. Die bei der bottom-up Abarbeitung auftretenden Effizienzprobleme sind in der Literatur schon vielfaeltig untersucht worden; gaengige Methoden wie Magic Sets oder Counting versuchen, Bindungsinformation der Query zu propagieren und dadurch (Zwischen-)Resultate auf "relevante" Fakten zu beschraenken. Diese Verfahren sollen fuer spezielle Formen der Rekursion, etwa quadratische Rekursion, verbessert werden. Anwendungen ergeben sich z. B. bei Deduktion mit unsicherem Wissen: Dort koennen der enorm grossen Zwischenergebnisse wegen bisher nur Probleme mit wenigen Elementarereignissen geloest werden.

Mittelgeber

Publikationen

Seipel, D.: Decomposition of linear recursive logic programs. - Proc. Inst. Workshop on Graph-Tehoretic Concepts in Computer Science (WG '90) (Berlin, June 1991, LNCS 484), pp. 291-310.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 15.09.96
Copyright Hinweise